Словарь по логике - контрадикторная противоположность

отношение между противоречащими друг другу суждениями. В традиционной логике противоречащими друг другу считаются общеутвердительные и частноотрицательные суждения, имеющие один и тот же субъект и предикат ("Все цветы красивы" и "Некоторые цветы некрасивы"), а также общеотрицательные и частноутвердительные суждения ("Ни один цветок не красив" и "Некоторые цветы красивы").

К. п. характеризуется следующими особенностями: 1) суждения не могут быть одновременно истинными; 2) они не могут быть одновременно ложными; 3) из двух противоречащих друг другу суждений одно непременно истинно, а другое ложно, третьего не дано. Последнее свойство контрадикторных суждений широко используется в процессах рассуждения и доказательства. Если нам удалось показать ложность некоторого суждения, то мы можем с уверенностью утверждать, что противоречащее ему суждение истинно, и наоборот.